考察: 自然変換と正規部分群の関係
from 正規部分群
$ N は正規部分群 $ \iff
$ {}^\forall n \in N ,$ {}^\forall g \in G ,$ {}^\exist n' \in N
$ n \diamond g = g \diamond n'
上の対応は準同型$ K_g \colon N → N となる
$ n \diamond g = g \diamond n.K_g
そしてこの可換性から自然変換$ \alpha\left\lang g \right\rang \colon \subset \Rightarrow K_g\ast\subset を得る
https://gyazo.com/18468dcd8efe367cabe1b39b54c21489
2019/12/25